1. Advances in computers.

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Computers.,Electronic datat processing.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.

رده :
QA76
.
A3eb
vol
.
5

2. An intensional implementation technique for functional languages

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: QA76 Electronic computers. Computer science. Computer software

3. Automata, languages, and programming :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer programming -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers) -- Congresses.

4. CONPAR 81 :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique)

5. Computing in systems described by equations

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: ، Interpreters )Computer programs(,، Equations

رده :
QA
76
.
L4
v
.
58

6. Computing in systems described by equations

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Interpreters )Computer programs(,، Equations,، Programming languages )Electronic computers(

رده :
QA
76
.
L28
Vol
.
58

7. Computing in systems described by equations

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Programming languages )Electronic computers(-- Equations

رده :
QA
76
.
5
.
O3

8. Guide to Scientific Computing in C++ /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer programming.,Computer science-- Mathematics.,Computer science.,Computer simulation.,Numerical analysis.,Programming languages (Electronic computers),Software engineering.,Computer programming.,Computer science-- Mathematics.,Computer science.,Computer Science.,Computer simulation.,Math Applications in Computer Science.,Numeric Computing.,Numerical analysis.,Programming languages (Electronic computers),Programming Languages, Compilers, Interpreters.,Programming Techniques.,Simulation and Modeling.,Software engineering.,Software Engineering.,Computer programming.,Computer science-- Mathematics.,Computer science.,Computer simulation.,Numerical analysis.,Programming languages (Electronic computers),Software engineering.

رده :
QA76
.
6-76
.
66

9. Mathematical Foundations of Computer Science 1986 :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Computer software.,Logic design.

رده :
QA267
.
E358
1986

10. Parallel Programming with Co-Arrays

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Parallel processing (Electronic computers),A Multifrontal Solver.,COMPUTERS-- Programming Languages-- General.,Execution Control.,Linear Algebra.,MATHEMATICS-- Number Systems.,OBJECT-ORIENTED DESIGN.,Parallel processing (Electronic computers),THE COARRAY PROGRAMMING MODEL.

رده :
QA76
.
642
.
N867
2019

11. Semantics of data types :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Data structures (Computer science) -- Congresses.,Langages de programmation -- Sémantique -- Congrès.,Programming languages (Electronic computers) -- Semantics -- Congresses.

12. The Study of Fast Processes and Transient Species by Electron Pulse Radiolysis

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Chemistry.

13. Trees in Algebra and Programming - CAAP '96 :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer programming.,Computer science.,Programming languages (Electronic computers)

رده :
QA166
.
2
E358
1996